[1, 2, 3] satisfies [1, 2, 3];
